Binary function - PDFSEARCH.IO - Document Search Engine

Binary function
Results: 315

#	Item
171	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
172	Microsoft Word - ASPDAC Support Reduciing final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-01-30 12:29:36 Diagrams Binary decision diagram Model checking Symmetry in mathematics Function Heuristic Emmy Noether Group Symmetry Mathematics Boolean algebra
173	New Parallel Domain Extenders for UOWHF Wonil Lee1 , Donghoon Chang1 , Sangjin Lee1 , and Soohak Sung2 1 2 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:54 Hash function Algorithm Binary tree Function Mathematics Search algorithms Error detection and correction
174	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
175	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
176	INTEGRATED CHALLAN CUM RETURN Add to Reading List Source URL: epfindia.gov.in Language: English - Date: 2013-01-24 05:04:04 Information Error detection and correction Comma-separated values Text file Hash function SQL Binary file Computing Computer file formats Data
177	Balloon: A Forward-Secure Append-Only Persistent Authenticated Data Structure Tobias Pulls Roel Peeters Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-15 08:57:40 Error detection and correction Computing Computer programming Search algorithms Treap Hash tree Hash function Binary search tree Cryptographic hash function Cryptography Hashing Binary trees
178	Exponents Name FROM POWERS TO PRODUCTS In “How Contagious Is Ebola?” on page 4, you evaluated numbers written in exponential form to predict the number of cases of a disease that could spread from a single infected p Add to Reading List Source URL: math.scholastic.com Language: English - Date: 2014-12-16 14:21:55 Binary operations Mathematical notation Measurement Exponentiation Multiplication Scientific notation Exponential function Mathematics Exponentials Abstract algebra
179	http://www.intermath-uga.gatech.edu X X X X X X Add to Reading List Source URL: intermath.coe.uga.edu Language: English - Date: 2007-05-31 11:19:43 Exponentials Binary operations Function Exponentiation Group action Abstract algebra Mathematics Algebra
180	Senti-LSSVM: Sentiment-Oriented Multi-Relation Extraction with Latent Structural SVM Lizhen Qu Max Planck Institute for Informatics [removed] Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2014-09-29 11:40:15 Equivalence relation Finitary relation Function Structure Sentiment analysis Binary relation Mathematics Model theory Mathematical logic